package edu.uj.petri.gui;

import edu.uj.petri.commands.CommandStack;
import edu.uj.util.Observer;

/**
 * interface for program main window
 */
public interface MainWindowInterface extends Observer {
    public void setDesignButtonsEnabled(boolean enabled);

    public void setSimulationButtonsEnabled(boolean enabled);

    /**
     * sets current command stack. Class should subscribe its observers to the
     * stack (and unsubscribe from previous stack).
     */
    public void setCommandStack(CommandStack commandStack);
    
}
